1. مبانی نظریه محاسبات (نظریه زبانها و ماشینها)
پدیدآورنده : لوئیس، هری
کتابخانه: Library of Kowsar University of Qom (Qom)
موضوع : زبانهای صوری,نظریه ماشین,منطق ریاضی,پیچیدگی محاسباتی,منطق ریاضی
رده :
QA
۲۶۷
/
۳
/
ل
۹
م
۲ ۱۳۸۵
